workspace: include the close button overlap in the right side chrome

As we do for the top side; the border is overlaied in the top/right
corner.

https://bugzilla.gnome.org/show_bug.cgi?id=682050

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 567674169a905a97bef269ac51c82d72401cbdad..85fae08568f8749cd8db9903a81ce8af22539ad8 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -524,7 +524,8 @@ const WindowOverlay = new Lang.Class({
     },
 
     chromeWidths: function () {
-        return [this.borderSize, this.borderSize];
+        return [this.borderSize,
+                Math.max(this.borderSize, this.closeButton.width - this.closeButton._overlap)];
     },
 
     relayout: function(animate) {